Formalizing English
نویسنده
چکیده
The use of logic for knowledge representation and reasoning systems is controversial. There are, indeed, several ways that standard First Order Predicate Logic is inappropriate for modelling natural language understanding and commonsense reasoning. However, a more appropriate logic can be designed. This paper presents several aspects of such a logic.
منابع مشابه
Formalizing Goals and Objectives in Iranian Educational System: A Historical Analysis
Formalizing goals and objectives within any organization is influenced by many socio-historical factors. To identify the trend in which educational goals and objectives within the Iranian educational system have evolved in terms of the approach, pattern, performance, and attending to individual differences, a historical analysis was undertaken. Findings are indicative of four eras: first, the c...
متن کاملFormalizing and Modeling the World
The word information derives from the Latin informare (in + formare), meaning to give form, shape, or character to. Etymologically, it is therefore understood to be the formative principle of something, or to imbue with some specific character or quality. However, for hundreds of years, the word information is used to signify knowledge and aspects of cognition such as meaning, instruction, comm...
متن کاملFormalizing UML Semantics
UML (Unified Modeling Language) developed by a group of leading experts in object-oriented methodologies has become the de facto standard object-oriented development methodology in the ware industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. In the past several years, many researchers around the worl...
متن کاملA Knowledge Module: Buying and Selling
This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.
متن کاملLanguoid, Doculect and Glossonym: Formalizing the Notion ‘Language’
It is perfectly reasonable for laypeople and non-linguistic scholars to use names for languages without reflecting on the proper definition of the objects referred to by these names. Simply using a name like English or Witotoan suffices as an informal communicative designation for a particular language or a language group. However, for the linguistics community, which is by definition occupied ...
متن کامل